Recursion-Theoretic Ranking and Compression

نویسندگان

  • Lane A. Hemaspaandra
  • Daniel Rubery
چکیده

For which sets A does there exist a mapping, computed by a total or partial recursive function, such that the mapping, when its domain is restricted to A, is a 1-to-1, onto mapping to Σ * ? And for which sets A does there exist such a mapping that respects the lexicographical ordering within A? Both cases are types of perfect, minimal hash functions. The complexity-theoretic versions of these notions are known as compression functions and ranking functions. The present paper defines and studies the recursion-theoretic versions of compression and ranking functions, and in particular studies the question of which sets have, or lack, such functions.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

More on Compression and Ranking

We study the role that honesty, selectivity, closure properties, relativization, and target spaces other than Σ * have in the recursion-theoretic study of compression and ranking.

متن کامل

FIFTH system for general-purpose connectionist computation

To date, work on formalizing connectionist computation in a way that is at least Turingcomplete has focused on recurrent architectures and developed equivalences to Turing machines or similar super-Turing models, which are of more theoretical than practical significance. We instead develop connectionist computation within the framework of information propagation networks extended with unbounded...

متن کامل

Ranking Primitive Recursions: The Low Grzegorczyk Classes Revisited

Traditional results in subrecursion theory are integrated with the recent work in “predicative recursion” by defining a simple ranking ρ of all primitive recursive functions. The hierarchy defined by this ranking coincides with the Grzegorczyk hierarchy at and above the linearspace level. Thus, the result is like an extension of the Schwichtenberg/Müller theorems. When primitive recursion is re...

متن کامل

Complexity theoretic algebra I - vector spaces over finite fields

This is the first of a series of papers on complexity-theoretic algebra. We carne to the subject as follows. In 1975 Metakides and Nerode [15] initiated the systematic study of recursion-theoretic algebra. The motivation was to establish the recursive content of mathematical constructions. The novelty was the use of the finite injury priority method from recursion theory as a uniform tool to me...

متن کامل

BC-ε: A Recursion-Theoretic Characterization of LOGSPACE

We present BC ε which is a function algebra that is sound and complete for LOGSPACE. It is based on the novel recursion-theoretic principle of generalized recursion where the step length of primitive recursion can be varied at each step. This allows elegant representations of functions like logarithm and division. Unlike characterizations found in the literature, it is noticeable that there doe...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1610.01185  شماره 

صفحات  -

تاریخ انتشار 2016